769014afa6ff5686f7b0e47f60b1aeb245275041,soot-jcrypt/src/edu/rpi/jcrypt/JCryptConstraintSolver.java,JCryptConstraintSolver,addLinearConstraints,#Constraint#Set#,239
Before Change
tmplist.add(linear);
}
}
if (isParamOrRetValue(left)) {
for (Constraint gc : getGreaterConstraints(right)) {
AnnotatedValue r = gc.getRight();
if (!left.equals(r) && !(r instanceof MethodAdaptValue)) {
After Change
tmplist.add(linear);
}
}
if ((isParamOrRetValue(left) || isLocalThis(left))) {
for (Constraint gc : getGreaterConstraints(right)) {
AnnotatedValue r = gc.getRight();
if (!left.equals(r) && !(r instanceof MethodAdaptValue)) {